<?php
//session_start(); /*iniciar sesión*/

if (!$_SESSION) /*valida el ingreso por medio de la sesion*/
{
 /* echo '<script language = javascript>
  self.location = "../HomeLogin.html"</script>';*/
}
?>